<?php

session_name("OPENID_EXAMPLE_SESSION_OP");
session_start();

?>